1241. Simulated evolution and learning :
پدیدآورنده : Xin Yao, Jong-Hwan Kim, Takeshi Furuhashi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithmes génétiques-- Congrès.,Artificial intelligence.,Computer simulation.,Computersimulaties.,Evolutionärer Algorithmus,Evolutionary programming (Computer science),Fuzzy-Logik,Genetischer Algorithmus,Inteligencia artificial (computacao),Intelligence artificielle-- Congrès.,Kongress,Künstliches Leben,Machine-learning.,Neuronales Netz,Simulation par ordinateur-- Congrès.
رده :
QA76
.
9
.
C65
S42
1996
1242. Smalltalk by example :
پدیدآورنده : Alec Sharp.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : VisualWorks.,VisualWorks.,VisualWorks.,Smalltalk (Computer program language),Smalltalk (Langage de programmation),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,Smalltalk (Computer program language),Smalltalk (langage de programmation),SOFTWARE TOOLS.
رده :
QA76
.
73
.
S59
S55
1997
1243. Smart technology :
پدیدآورنده : Francisco Torres Guerrero, Jorge Lozoya-Santos, Eduardo Gonzalez Mendivil, Leticia Neira-Tovar, Pablo G. Ramírez Flores, Jorge Martin-Gutierrez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Graphics programming.,Image processing.,Information retrieval.,Internet of things.,User interface design & usability.
رده :
Q334
1244. Software Design for Resilient Computer Systems /
پدیدآورنده : by Igor Schagaev, Eugene Zouev, Kaegi Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.,Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.
رده :
QA76
.
9
.
F38
1245. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
1246. Software engineer's pocket book
پدیدآورنده : Michael Tooley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software -- Development -- Handbooks, manuals, etc.,Computer software -- Development.,Software engineering -- Handbooks, manuals, etc.
1247. Software engineering :
پدیدآورنده : M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
رده :
QA76
.
9
.
H84
1248. Software engineering in C
پدیدآورنده : Peter A. Darnell, Philip E. Margolis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C (Computer program language),Programmatuurtechniek.,Software engineering.
رده :
QA76
.
76
.
D47
P484
1988
1249. Solutions Manual to accompany Nonlinear Programming : Theory and Algorithms
پدیدآورنده : / Bazaraa, Mokhtar S.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
1250. Solving combinatorial optimization problems in parallel :
پدیدآورنده : Afonso Ferreira, Panos Pardalos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Optimaliseren.,Parallelle verwerking.
رده :
QA402
.
5
A366
1996
1251. Some Tapas of Computer Algebra
پدیدآورنده : edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Algebra.,Algorithms.,Combinatorics.,Mathematics.
1252. Spatially structured evolutionary algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Evolutionary programming (Computer science) ; Evolutionary computation. ;
1253. Spatially structured evolutionary algorithms
پدیدآورنده : / Marco Tomassini
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Evolutionary programming (Computer science),Evolutionary computation
رده :
MLCM
2006/40718
(
Q
)
1254. Spatially structured evolutionary algorithms
پدیدآورنده : / Marco Tomassini
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Evolutionary programming (Computer science),Evolutionary computation
رده :
MLCM
2006/40718
(
Q
)
1255. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
1256. Specifying software :
پدیدآورنده : R.D. Tennent.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer software, Specifications.,Computer programming.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Computer software.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
6
.
T4416
2002
1257. Stable mutations for evolutionary algorithms /
پدیدآورنده : Andrzej Obuchowicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Evolutionary programming (Computer science),Genetic algorithms.,Artificial Intelligence.,Computational Intelligence.,Evolutionary programming (Computer science),Genetic algorithms.
رده :
QA76
.
618
.
O28
2019
1258. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
1259. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
پدیدآورنده : Roberto Giacobazzi )ed.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
I5733
2004
